/* Initial beliefs	*/
/* Initial goal */

!plano.

/* Plans */
+!plano : true <- ataque; !!plano.
